To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. (...) We show how the framework might be used to support computational reasoning, and argue that it provides a more natural way to examine the process of proving theorems than do Lamport’s structured proofs. (shrink)

In this paper, we contend that the “Smith case” in Gettier’s attempt to refute the justified true belief (JTB) account of knowledge does not work. This is because the said case fails to satisfy the truth condition, and thus is not a case of JTB at all. We demonstrate this claim using the framework of Donnellan’s distinction between the referential and attributive uses of definite descriptions. Accordingly, the truth value of Smith’s proposition “The man who will get the job has (...) ten coins in his pocket” partly depends on how Smith uses the definite description “the man who will get the job” when he utters the proposition. Since, upon uttering the proposition, Smith has in mind a particular individual, namely Jones, and not just whoever will fit the attribute specified in the definite description, Smith uses the definite description referentially. And so when it turns out that it is Smith who eventually gets the job, the definite description fails to refer to Jones as intended by Smith, thereby making Smith’s proposition false. To think that Smith’s proposition is still true, in this regard, is to use the definite description attributively—that it is about whoever will fit the definite description. Apparently, when Gettier claims that Smith’s proposition is still true, to demonstrate that it is a case of JTB, he, in effect, imposes his attributive understanding of Smith’s usage of the definite description on Smith’s own epistemic situation. (shrink)

In this paper, I endeavor to provide a critical examination of a recent pioneering work that engages Jean-Paul Sartre’s insights in analyzing social media interactions – Michael Lopato’s “Social media, love, and Sartre’s look of the other: Why online communication is not fulfilling?”. I shall show that in so far as Sartrean insights are concerned in Being and Nothingness, Lopato misconstrued what Sartre really meant with the Look of the Other and love, and is mistaken in appropriating such insights in (...) arguing that online interactions are not fulfilling. I shall proceed by first discussing Sartre’s third region of being which is being-for-others which will comprise of the Look of the Other and the two attitudes to retrieve one’s freedom. Second, I shall flesh out the arguments of Lopato. Lastly, I shall present my critique of Lopato’s arguments which constitutes my reply to his work. (shrink)

In this paper, I will argue that embodied presence and ultimate commitments are not necessary for the authenticity of online relationships. In the first section, I will present Hubert Dreyfus’s Kierkegaardian analysis of the Internet. In the second, I will show the different positions that disagree with Dreyfus. And finally, in the third, I will look into the distinction between human to human and human to nonhuman online interactions, the continuity or discontinuity of the online and the offline relationships of (...) persons, and the forms of the relationship that occurred. From that analysis, I will derive some cases that will show the inadequacies and problems of the conditions presented by Dreyfus. (shrink)

With service robots becoming more ubiquitous in social life, interaction design needs to adapt to novice users and the associated uncertainty in the first encounter with this technology in new emerging environments. Trust in robots is an essential psychological prerequisite to achieve safe and convenient cooperation between users and robots. This research focuses on psychological processes in which user dispositions and states affect trust in robots, which in turn is expected to impact the behavior and reactions in the interaction with (...) robotic systems. In a laboratory experiment, the influence of propensity to trust in automation and negative attitudes toward robots on state anxiety, trust, and comfort distance toward a robot were explored. Participants were approached by a humanoid domestic robot two times and indicated their comfort distance and trust. The results favor the differentiation and interdependence of dispositional, initial, and dynamic learned trust layers. A mediation from the propensity to trust to initial learned trust by state anxiety provides an insight into the psychological processes through which personality traits might affect interindividual outcomes in human-robot interaction (HRI). The findings underline the meaningfulness of user characteristics as predictors for the initial approach to robots and the importance of considering users’ individual learning history regarding technology and robots in particular. (shrink)

Although clinical ethics consultation is a high-stakes endeavor with an increasing prominence in health care systems, progress in developing standards for quality is challenging. In this article, we describe the results of a pilot project utilizing portfolios as an evaluation tool. We found that this approach is feasible and resulted in a reasonably wide distribution of scores among the 23 submitted portfolios that we evaluated. We discuss limitations and implications of these results, and suggest that this is a significant step (...) on the pathway to an eventual certification process for clinical ethics consultants. (shrink)

The contingentist/inevitabilist debate contests whether the results of successful science are contingent or inevitable. This article addresses lingering ambiguity in the way contingency is defined in this debate. I argue that contingency in science can be understood as a collection of distinct concepts, distinguished by how they hold science contingent, by what elements of science they hold contingent, and by what those elements are contingent upon. I present a preliminary taxonomy designed to characterize the full-range positions available and illustrate that (...) these constitute a diverse array rather than a spectrum. (shrink)

When the COVID-19 surge hit New York City hospitals, the Division of Medical Ethics at Weill Cornell Medical College, and our affiliated ethics consultation services, faced waves of ethical issues sweeping forward with intensity and urgency. In this article, we describe our experience over an eight-week period (16 March through 10 May 2020), and describe three types of services: clinical ethics consultation (CEC); service practice communications/interventions (SPCI); and organizational ethics advisement (OEA). We tell this narrative through the prism of time, (...) describing the evolution of ethical issues and trends as the pandemic unfolded. We delineate three phases: anticipation and preparation, crisis management, and reflection and adjustment. The first phase focused predominantly on ways to address impending resource shortages and to plan for remote ethics consultation, and CECs focused on code status discussions with surrogates. The second phase was characterized by the dramatic convergence of a rapid increase in the number of critically ill patients, a growing scarcity of resources, and the reassignment/ redeployment of staff outside their specialty areas. The third phase was characterized by the recognition that while the worst of the crisis was waning, its medium- and long-term consequences continued to pose immense challenges. We note that there were times during the crisis that serving in the role of clinical ethics consultant created a sense of dis-ease as novel as the coronavirus itself. In retrospect we learned that our activities far exceeded the familiar terrain of clinical ethics consultation and extended into other spheres of organizational life in novel ways that were unanticipated before this pandemic. To that end, we defined and categorized a middle level of ethics consultation, which we have termed service practice communication intervention (SPCI). This is an underappreciated dimension of the work that ethics consult services are capable of in times of crisis. We believe that the pandemic has revealed the many enduring ways that ethics consultation services can more robustly contribute to the ethical life of their institutions moving forward. (shrink)

The contingentist/inevitabilist debate contests whether the results of successful science are contingent or inevitable. This article addresses lingering ambiguity in the way contingency is defined in this debate. I argue that contingency in science can be understood as a collection of distinct concepts, distinguished by how they hold science contingent, by what elements of science they hold contingent, and by what those elements are contingent upon. I present a preliminary taxonomy designed to characterize the full-range positions available and illustrate that (...) these constitute a diverse array rather than a spectrum. (shrink)

The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.

The contributors featured in this work engage the reader in a stimulating exchange and dialogue about the post-modern turn in psychoanalysis. They advocate, critique, or simply observe this contemporary phenomenon.

With the outbreak of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), global researchers were confronted with major challenges. The German National Pandemic Cohort Network (NAPKON) was launched in fall 2020 to effectively leverage resources and bundle research activities in the fight against the coronavirus disease 2019 (COVID-19) pandemic. We analyzed the setup phase of NAPKON as an example for multicenter studies in Germany, highlighting challenges and optimization potential in connecting 59 university and nonuniversity study sites. We examined the ethics application (...) process of 121 ethics submissions considering durations, annotations, and outcomes. Study site activation and recruitment processes were investigated and related to the incidence of SARS-CoV-2 infections. For all initial ethics applications, the median time to a positive ethics vote was less than two weeks and 30 of these study sites (65%) joined NAPKON within less than three weeks each. Electronic instead of postal ethics submission (9.5 days (Q1: 5.75, Q3: 17) vs. 14 days (Q1: 11, Q3: 26), p value = 0.01) and adoption of the primary ethics vote significantly accelerated the ethics application process. Each study center enrolled a median of 37 patients during the 14-month observation period, with large differences depending on the health sector. We found a positive correlation between recruitment performance and COVID-19 incidence as well as hospitalization incidence. Our analysis highlighted the challenges and opportunities of the federated system in Germany. Digital ethics application tools, adoption of a primary ethics vote and standardized formal requirements lead to harmonized and thus faster study initiation processes during a pandemic. (shrink)

The arts of rule cover the exercise of power by princes and popular sovereigns, but they range beyond the domain of government itself, extending to civil associations, political parties, and religious institutions. Making full use of political philosophy from a range of backgrounds, this festschrift for Harvey Mansfield recognizes that although the arts of rule are comprehensive, the best government is a limited one.

Clinical ethics consultation is largely outside the scope of regulation and oversight, despite its importance. For decades, the bioethics community has been unable to reach a consensus on whether there should be accountability in this work, as there is for other clinical activities that influence the care of patients. The American Society for Bioethics and Humanities, the primary society of bioethicists and scholars in the medical humanities and the organizational home for individuals who perform CEC in the United States, has (...) initiated a two‐step quality attestation process as a means to assess clinical ethics consultants and help identify individuals who are qualified to perform this role. This article describes the process. (shrink)

Objections to the use of historical case studies for philosophical ends fall into two categories. Methodological objections claim that historical accounts and their uses by philosophers are subject to various biases. We argue that these challenges are not special; they also apply to other epistemic practices. Metaphysical objections, on the other hand, claim that historical case studies are intrinsically unsuited to serve as evidence for philosophical claims, even when carefully constructed and used, and so constitute a distinct class of challenge. (...) We show that attention to what makes for a canonical case can address these problems. A case study is canonical with respect to a particular philosophical aim when the features relevant to that aim provide a reasonably complete causal account of the results of the historical process under investigation. We show how to establish canonicity by evaluating relevant contingencies using two prominent examples from the history of science: Eddington’s confirmation of Einstein’s theory of general relativity using his data from the 1919 eclipse and Watson and Crick’s determination of the structure of DNA. (shrink)

Solid state physics, the study of the physical properties of solid matter, was the most populous subfield of Cold War American physics. Despite prolific contributions to consumer and medical technology, such as the transistor and magnetic resonance imaging, it garnered less professional prestige and public attention than nuclear and particle physics. Solid State Insurrection argues that solid state physics was essential to securing the vast social, political, and financial capital Cold War physics enjoyed in the twentieth century. Solid state’s technological (...) bent, and its challenge to the “pure science” ideal many physicists cherished, helped physics as a whole respond more readily to Cold War social, political, and economic pressures. Its research kept physics economically and technologically relevant, sustaining its cultural standing and policy influence long after the sheen of the Manhattan Project had faded. (shrink)

As is clear to any user of software, quality control of software has not reached the same levels of sophistication as it has with traditional manufacturing. In this paper we argue that this is because insufficient thought is being given to the methods of reasoning under uncertainty that are appropriate to this domain. We then describe how we have built a large-scale Bayesian network to overcome the difficulties that have so far been met in software quality control. This exploits a (...) number of recent advances in tool support for constructing large networks. We end the paper by describing how the network was validated and illustrate the range of reasoning styles that can be modelled with this tool. (shrink)

Employee reporting dishonesty is a significant area of concern for firms. In this study, we investigate how providing information about their prosocial actions, such as organizational citizenship behaviors, affects the extent of employee reporting dishonesty. We distinguish prosocial actions whose welfare effects are mutually beneficial (i.e., that help others and the employee), which are common in business practice, from those that are selfless in nature (i.e., that help others at a personal cost to the employee). In addition to examining the (...) effect of the type of prosocial action on the extent of employee reporting dishonesty, we also examine the effect of construal (the manner in which individuals perceive and interpret the action). Using an experiment, we find that participants with high moral identity are less dishonest when they describe their selfless prosocial actions than when they describe their mutually beneficial prosocial actions, but only when they abstractly construe this information. However, we do not find evidence that the reporting dishonesty of participants with low moral identity is influenced by the type of prosocial action they provide information about or the construal of that information. We discuss implications of these results for theory and practice. (shrink)

Why do similar scientific enterprises garner unequal public approbation? High energy physics attracted considerable attention in the late-twentieth-century United States, whereas condensed matter physics – which occupied the greater proportion of US physicists – remained little known to the public, despite its relevance to ubiquitous consumer technologies. This paper supplements existing accounts of this much remarked-upon prestige asymmetry by showing that popular emphasis on the mundane technological offshoots of condensed matter physics and its focus on human-scale phenomena have rendered it (...) more recondite than its better-known sibling field. News reports about high energy physics emphasize intellectual achievement; reporting on condensed matter physics focuses on technology. And whereas frontier-oriented rhetoric of high energy physics communicates ideals of human potential, discoveries that smack of the mundane highlight human limitations and fail to resonate with the widespread aspirational vision of science – a consequence I call “the purloined letter effect.”. (shrink)

This volume brings together some of the most distinguished thinkers in the field of theology to consider the question of the meaning of life in the various global religions.